Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
241	Formal Verification of Object Layout for C++ Multiple Inheritance Tahina Ramananandro Gabriel Dos Reis ∗ Add to Reading List Source URL: cristal.inria.fr - Date: 2010-11-09 03:50:06
242	Establishing Browser Security Guarantees through Formal Shim Verification Dongseok Jang UC San Diego Zachary Tatlock Add to Reading List Source URL: goto.ucsd.edu - Date: 2012-07-16 15:42:58
243	Logosphere A Digital Library of Formal Proof Carsten Schürmann Processor Verification Add to Reading List Source URL: www.itu.dk Language: English - Date: 2005-10-21 11:24:27
244	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Formal verification of a C-like memory model and its uses for verifying program transformations Xavier Leroy · Sandrine Blazy Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2008-02-13 03:53:53
245	Formal Verification of Hybrid Systems Rajeev Alur University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2011-07-29 13:52:05
246	Runtime Verification of Log Files, a Trojan Horse for Formal Methods? Howard Barringer1 , Alex Groce3 , Klaus Havelund2 , David Rydeheard1 , and Margaret Smith2 1 Add to Reading List Source URL: havelund.com Language: English - Date: 2009-12-15 17:05:51
247	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2007-11-09 01:03:49
248	Interpolant Strength in Model Checking Based on CAV’12 work Simone Fulvio Rollini, O. Sery, N. Sharygina Formal Verification Lab, University of Lugano Add to Reading List Source URL: richmodels.epfl.ch Language: English - Date: 2012-11-18 01:54:38
249	BRICS Basic Research in Computer Science BRICS RSAceto et al.: Characteristic Formulae for Timed Automata Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-10-31 10:38:10 Logic in computer science Philosophical logic Models of computation Bisimulation Model checking Entailment State transition system Formal verification FO Logic Theoretical computer science Applied mathematics
250	A Pattern-Based Approach to Parametric Specification Mining Giles Reger , Howard Barringer, David Rydeheard University of Manchester Abstract—This paper presents a technique for using execution Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2013-09-02 06:11:57 Automata theory Formal languages Logic in computer science Runtime verification Design Finite-state machine Regular expression C Sharp Pattern Computing Software engineering Theoretical computer science

UPDATE